Process and truth-table characterisations of randomness
نویسنده
چکیده
This paper uses quick process machines to provide characterisations of computable randomness, Schnorr randomness and weak randomness. The quick process machine is a type of process machine first considered in work of Levin and Zvonkin. A new technique for building process machines and quick process machines is presented. This technique is similar to the KC theorem for prefix-free machines. Using this technique, a method of translating computable martingales to quick process machines is given. This translation forms the basis for these new randomness characterisations. Quick process machines are also used to provide characterisations of computable randomness, Schnorr randomness, and weak randomness in terms of truth-table reducibility.
منابع مشابه
On Reductions of NP Sets to Sparse Sets
We prove unlikely consequences of the existence of sparse hard sets for P under deterministic as well as one-sided error randomized truth-table reductions. Our main results are as follows. We establish that the existence of a polynomially dense hard set for P under (randomized) logspace bounded truth-table reductions implies that P (R)L, and that the collapse goes down to P (R)NC 1 in case of r...
متن کاملConstructive Dimension and Weak Truth-Table Degrees
This paper examines the constructive Hausdorff and packing dimensions of weak truth-table degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dimH(S) and constructive packing dimension dimP(S) is weak truth-table equivalent to a sequence R with dimH(R) ≥ dimH(S)/dimP(S)− ǫ, for arbitrary ǫ > 0. Furthermore, if dimP(S) > 0, then dimP(R) ≥ 1− ǫ. The re...
متن کاملRandomness and Computability
This thesis establishes significant new results in the area of algorithmic randomness. These results elucidate the deep relationship between randomness and computability. A number of results focus on randomness for finite strings. Levin introduced two functions which measure the randomness of finite strings. One function is derived from a universal monotone machine and the other function is der...
متن کاملMinimal Pairs in the C
Strong reducibilities such as the m-reducibility have been around implicitly, if not explicitly, since the dawn of computability theory. The explicit recognition of the existence of differing kinds of oracle access mechanisms began with the seminal work of Post [12]. Of interest to us from Post’s paper are the so-called tabular reducibilities ≤tt, truth table reducibility, and ≤wtt, weak truth ...
متن کاملComputably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky and Weinberger on applications of computability to differential geometry. Yu and Ding showed that the releva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 452 شماره
صفحات -
تاریخ انتشار 2012